Search results

The event‐driven paradigm is appropriate for context aware, distributed applications, yet basic events may be too low level to be meaningful to users. The authors aim to argue that this bottom‐up approach is insufficient to handle very low‐level sensor data or to express all the queries users might wish to make.

The authors propose an alternative model for querying and subscribing transparently to distributed state in a real‐time, ubiquitous, sensor‐driven environment such as is found in Sentient Computing.

The framework consists of four components: a state‐based, temporal first‐order logic (TFOL) model that represents the concrete state of the world, as perceived by sensors; an expressive TFOL‐based language, the Abstract Event Specification Language (AESL) for creating abstract event definitions, subscriptions and queries; a higherorder service (Abstract Event Detection Service) that accepts a subscription containing an abstract event definition as an argument and in return publishes an interface to a further service, an abstract event detector; and a satisfiability service that applies classical, logical satisfiability in order to check the satisfiability of the AESL definitions against the world model, in a manner similar to a constraint‐satisfaction problem.

The paper develops a model‐based approach, appropriate for distributed, heterogeneous environments.

Science fiction is that demonic creature lurking in the depths of every human subconscious waiting for the chance to emerge and destroy, with ecstasy, mankind's literary taste. It condemns the reader to an endless array of spaceships, hyperdrive, alternate universes, and alien beings — the really fun things in life. Unfortunately, not all readers or critics hold this view. To many literary critics, science fiction is something to keep in the closet, ignore, and generally not discuss in front of frail women or young children.